<?php
session_start();

if (empty($_SESSION['userID']))
{
	session_destroy();
	header('location:index.html');
	exit;
}
?>